<html>
    <head>
        <title></title>
        <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
        <link rel="stylesheet" type="text/css" href="../style.css">
    </head>
    <body>
        <div class="text">
        <h2>Test-Dateien</h2>
        Test-Dateien folgen einem strikten Schema. Sie dienen dazu, die z.B. in den
        Ada-Package-Bodies definierten Prozeduren testweise aufzurufen und auszuführen.
        Diese Packages müssen in den Test-Dateien dementsprechend eingebunden werden. Im Grunde
        existiert nur ein Aufruf: Der der zu testenden Prozedur. Die entsprechenden Parameter
        werden direkt definiert und dann übergeben.<br />
        Folgendes Beispiel soll dies verdeutlichen:<br />
        <br />
        <div style="font-family: Courier New;">
WITH IntSqrt; USE IntSqrt;<br />
<br />
PROCEDURE Test_IntSqrt_IntSqrtBis_1 IS<br />
&nbsp;&nbsp;&nbsp;M: Integer := 25;<br />
&nbsp;&nbsp;&nbsp;N: Integer := 5;<br />
BEGIN<br />
&nbsp;&nbsp;&nbsp;IntSqrtBis(M, N);<br />
END Test_IntSqrt_IntSqrtBis_1;
        </div>
        <br /><br />
        Das Bennenungsschema wird ebenfalls ersichtlich: Zunächst das Schlüsselwort "Test",
        dann der Name des zu testenden Package, gefolgt von der zu testenden Prozedur und 
        abschließend eine laufende Nummer (jeweils getrennt von einem Unterstrich): <br />
        "Test_package_procedure_#.adb" <br />
        Alternativ besteht die Möglichkeit, Test-Dateien direkt im ADAlyzer erzeugen zu 
        lassen. Dafür steht - bei geöffnetem Package - im Menu "Verifikation" der Punkt
        "Test-Datei erzeugen..." zur Verfügung.
    </body>
</html>
